miniOS.c void irqHandler(void)
{
if(ICIP & (1 << 27)) != 0)
OSSR = OSSR_M1;
OSMR1 = OSCR + 3686400;
scheduler();
}